#include "types.h"

void u24_test_print(void);

void u24_test_assign0(u32 value);
void u24_test_assign1(void);
